1. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb